More from this Author

Tools and Algorithms for the Construction and Analysis of Systems

by Tiziana Margaria (Editor), Wang Yi (Editor)

Dependable Software Engineering: Theories, Tools, and Applications

by Xuandong Li (Editor), Zhiming Liu (Editor), Wang Yi (Editor)